Systems of polynomial equations associated to elliptic curve discrete logarithm problems Claus Diem Institute for Experimental Mathematics, University of Duisburg-Essen October 27, 2004

Source URL: www.mathematik.uni-leipzig.de

Institute for Computational and Experimental Research in Mathematics Annual Report August 1, 2012 – July 31, 2013 Jill Pipher, Director

Source URL: icerm.brown.edu

Experimental Mathematics ISSN: Print950X (Online) Journal homepage: http://www.tandfonline.com/loi/uexm20 On Group Structures Realized by Elliptic Curves over Arbitrary Finite Fields

Source URL: www.mat.uniroma3.it

Experimental Mathematics in Haskell: on Pairing/Unpairing Functions and Boolean Evaluation Paul Tarau1 Brenda Luderman2

Source URL: logic.cse.unt.edu

Experimental evaluation of pheromone models in ACOPlan M.Baioletti, A.Milani, V.Poggioni, and F.Rossi Department of Mathematics and Computer Science University of Perugia Via Vanvitelli 1, 06123 Perugia, ITALY

Source URL: ceur-ws.org

1 The precision of the arithmetic mean, geometric mean and percentiles for citation data: An experimental simulation modelling approach1 Mike Thelwall, Statistical Cybermetrics Research Group, School of Mathematics and

Source URL: arxiv.org

Open Problems in the OEIS Neil J A Sloane Guest Lecture, Zeilberger Experimental Math Class, May

Source URL: neilsloane.com

• Mathematics
• Integer sequences
• Algebra
• Theory of computation
• On-Line Encyclopedia of Integer Sequences
• Recurrence relations
• Sequence
• Monday

Sophisticated Experience-weighted Attraction Learning and Strategic Teaching in Repeated Games

Source URL: people.hss.caltech.edu

• Mathematics
• Academia
• Game theory
• Outcome
• Teck-Hua Ho
• Quantal response equilibrium
• Nash equilibrium
• Signaling game
• Normal-form game
• Human behavior
• Experimental economics

An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

Source URL: ceur-ws.org

• Theoretical computer science
• Automated planning and scheduling
• Logic in computer science
• Mathematics
• Computational complexity theory
• Boolean algebra
• Electronic design automation
• Formal methods
• Boolean satisfiability problem
• Maximum satisfiability problem
• Planning Domain Definition Language
• Satz

Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli

Source URL: www.neil.dantam.name

• Formal languages
• Combinatorics
• Mathematics
• Combinatorics on words
• Discrete mathematics
• Theoretical computer science
• Models of computation
• Finite automata
• Automata theory
• Pushdown automaton
• Finite-state machine
• Alphabet